Triple Graph Grammars or Triple Graph Transformation Systems?
نویسندگان
چکیده
Triple graph grammars have been used to specify consistency maintenance between inter-dependent and evolving models at a high level of abstraction. On a lower level, consistency maintenance may be specified by a triple graph transformation system, which takes care of all operational details required for executing consistency maintenance operations. We present a case study from software configuration management in which we decided to hand-craft a triple graph transformation system rather than to generate it from a triple graph grammar. The case study demonstrates some limitations concerning the kinds of consistency maintenance problems which can be handled by triple graph grammars.
منابع مشابه
A Graphical Specification of Model Transformations with Triple Graph Grammars
Models and model transformations are the core concepts of OMG’s MDA approach. Within this approach, most models are derived from the MOF and have a graph-based nature. In contrast, most of the current model transformations are specified textually. To enable a graphical specification of model transformation rules, this paper proposes to use triple graph grammars as declarative specification form...
متن کاملCompleteness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
Model transformations are a key concept for modular and distributed model driven development. In this context, triple graph grammars have been investigated and applied to several case studies and they show a convenient combination of formal and intuitive specification abilities. Especially the automatic derivation of forward and backward transformations out of just one specified set of rules fo...
متن کاملCompleteness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions
Model transformations are a key concept for modular and distributed model driven development. In this context, triple graph grammars have been investigated and applied to several case studies and they show a convenient combination of formal and intuitive specification abilities. Especially the automatic derivation of forward and backward transformations out of just one specified set of rules fo...
متن کاملForschungsberichte der Fakultät IV – Elektrotechnik und Informatik Model Transformation of Model Fragments Using Borrowed Context: Extended Version
In this technical report we study the transformation of models in the context of algebraic graph transformation and triple graph grammars. The new contribution of the report is to define and analyze the transformation of model fragments in general and the propagtion of graph constraints in particular. With the borrowed context we developed a technique further to the model transformation with tr...
متن کاملProceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques ( GT - VMT 2009 )
Model transformations are a key concept for modular and distributed model driven development. In this context, triple graph grammars have been investigated and applied to several case studies and they show a convenient combination of formal and intuitive specification abilities. Especially the automatic derivation of forward and backward transformations out of just one specified set of rules fo...
متن کامل